abstract sig CA {}

abstract sig DRR {}

abstract sig S {}

abstract sig CSR {}

abstract sig EA {}

abstract sig EAP {}
abstract sig EAPL extends EAP {}
abstract sig EAPLP extends EAPL {}
abstract sig EAPLR extends EAPL {}
abstract sig EAPR extends EAP {}

abstract sig EASE {}

abstract sig ND {}
